File:CSCE 411 3SAT-CV Reduction Solution.png

File
File history
File usage

Size of this preview: 800 × 314 pixels. Other resolutions: 320 × 125 pixels | 1,434 × 562 pixels.

Original file ‎(1,434 × 562 pixels, file size: 171 KB, MIME type: image/png)

Corresponding graph for $(u_{1}\vee \neg u_{3}\vee \neg u_{4})\wedge (\neg u_{1}\vee u_{2}\vee \neg u_{4})$ with satisfying truth assignment: $(u_{1},u_{2},u_{3},u_{4})=(\mathbf {T} ,\mathbf {F} ,\mathbf {T} ,\mathbf {F} )$

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	17:43, 16 November 2012		1,434 × 562 (171 KB)	Matthew (talk \| contribs)	3SAT-CV Reduction Solution

You cannot overwrite this file.

File usage

The following page uses this file:

CSCE 411 Lecture 33

File:CSCE 411 3SAT-CV Reduction Solution.png

File history

File usage

Navigation menu

Search