CODEWITHSUNDEEP
boolean-logic
Shaun
Shaun

Reputation: 113

Entry level propositional logic simplification

This is an entry level propositional logic question.

An exercise's final 2 statements are:

(A v B) v (B v C)

A v B v C

Is the last statement a distributive simplification? I can't figure out how the last statement was arrived at.

Appreciate any help.

Upvotes: 0

Views: 91

Answers (1)

RSon1234
RSon1234

Reputation: 394

So first use the associative property

(A v B) v (B v C)

can be written like this

A v (B v B) v C

because the associative property will hold.

The idempotent law states that B v B = B

So we end up with

A v B v C

Upvotes: 2

Related Questions