I was given a truth table and I must write a wff with exactly two two-place connective. I am new to logic and don't know where to start. I need to find wff a), b), c) and d).(adsbygoogle = window.adsbygoogle || []).push({});

C B A ..... wff a)

T T T ........ T

T T F ........ F

T F T ........ T

T F F ........ F

F T T ........ T

F T F ........ T

F F T ........ T

F F F ........ T

A B C .....wff b)

T T T ........ F

T T F ........ T

T F T ........ F

T F F ........ F

F T T ........ F

F T F ........ T

F F T ........ F

F F F ........ T

I have no clue on these first two. I tried many but they all seemed not to work.

A B ..... wff c)

T T ........ F

T F ........ T

F T ........ T

F F ........ T

I think I can do this one:

this is equivalent to ~(A&B) but I need to use two two place connectives so I wrote ~(A&(B&B)) is this correct? Also the question didn't specify whether I can use "~". can I use it anyway?

A ..... wff d)

T ........ T

F ........ T

This one I can also manage but I'm not sure what is the right answer. This is equivalen to (Av~A) which I can write as ((A&A)v~A). However, I can also write ((A&A)->A) or ((A&A)<->A) aswell. I think there's a few more which is right?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Logic/ truth table

**Physics Forums | Science Articles, Homework Help, Discussion**