How to input truth table and generate corresponding logical expression?
Converting truth tables to boolean expressions
Let's say you have a typical web app and with a file configuration.whatever. Every developer working on the project will have one version for their dev boxes, there will be a dev, prod and stage versions. How do you deal with this in source control? Not check in this file at all, check it with different names or do something fancy altogether? I came across the following question:    This can be easily flagged for too broad or opinion based, but I wonder on which stack-exchange site can one ask answers for such a question? Proof of Neumann Lemma Prove that if $\|A\| &lt; 1$, then $I-A$ is invertible. Here, $\|\cdot\|$ is a matrix norm induced by a vector norm.  This lemma is referred to as Neumann Lemma.  Any ideas on how to go ahead with this?  Thanks. Below is an attempt at a proof of the following problem. Any feedback would be greatly appreciated. Thx!  Let $E$ be a set and $O_n = \{x: d(x, E) &lt; \frac{1}{n}\}$. Show  If $E$ is compact then $m(E) = lim_{n \rightarrow \infty} m(O_n)$.  This is false for $E$ closed and unbounded or $E$ open and bounded.   Note that all sets are real and measurable refers to Lebesgue measurable.  Suppose $E$ is compact. Then $m(E) &lt; \infty$. Also, since each $O_n$ is an open set of $\mathbb{R}^d$, $m(O_n) &lt; \infty$. If either of the following is true, we have that $lim_{n \rightarrow \infty}m(O_n)=m(E)$: $O_n \nearrow E$ $O_n \searrow E$ Now  $\bigcap_{n=1}^{\infty} O_n = \{ x:d(x,E) = 0\}$. That is, $x \in \bigcap_{n=1}^{\infty}O_n \iff \exists n&gt; \frac{1}{\epsilon},\ n \in \mathbb{N} \iff x\in \{x \mid d(x,E) =0\}$. Then we have that $\bigcap_{n=1}^{\infty}O_n = E$ and $O_n \searrow E$. Thus $ \ m(E) = lim_{n \rightarrow \infty} m(O_n)$. Suppose $E$ is closed and unbounded. Let $E = \{(x,y): y = 2 \}$ and $O_n = \{(x,y): d(x,E) &lt; \frac{1}{n}\}$. Since $E$ is a line in $\mathbb{R}^2$, $m(E) = 0$. Also, since the measure of a rectangle in $\mathbb{R}^d$ is its volume, $m(O_n) = \left| O_n \right| = \infty$, since the rectangle $O_n$ is unbounded. It is therefore apparent that $m(E) \not = lim_{n \rightarrow \infty} m(O_n)$. Suppose $E$ is open and bounded. Let $E=(0,1)$ and $O_n = \{x \mid d(x,E) &lt; \frac{1}{n}\}$. $\mathbb{R}-E$ is closed and $O_n \in \mathbb{R}-E$. Since $\mathbb{R}-E$ contains all its limit points $lim_{n \rightarrow \infty}O_n = O \in \mathbb{R}-E$. Thus $lim_{n \rightarrow \infty} m(O_n) \neq m(E)$. I've had my HTC Desire for a couple of months now and it is awesome! (A huge improvement to my previous phone... Nokia 3315)  Though recently, I've realised that the phone semi-freezes more and more often - ie. when swiping between homescreens it will either pause/freeze and I will have to re-swipe to get it to change screens. Or worse, it just won't respond to any further swipes and I have to lock the screen then unlock to get the phone back into action.  Got quite annoyed at this (was probably happening once or twice a day) so I thought it might help to turn it off and on again. So I did - not sure if it was a placebo effect but it seems to have helped a bit?  So given that this is my first smartphone, I was wondering if it is 'normal' to need to restart the phone every so often. If so, how often is 'normal'? If not, what can I do to diagnose/fix this problem? I have read the first five Dune novels and after the first I do not recall any further mention of Imperial conditioning. In the novels written since Frank Herbert's death, were any further references or details given about what this process actually involved and why it was considered virtually impossible to remove? How do you Programmatically Download a Webpage in Java How do I test a private function or a class that has private methods, fields or inner classes? While executing an INSERT statement with many rows, I want to skip duplicate entries that would otherwise cause failure. After some research, my options appear to be the use of either:  ON DUPLICATE KEY UPDATE which implies an unnecessary update at some cost, or INSERT IGNORE implies an invitation for other kinds of failure to slip in unannounced.  Am I right in these assumptions? What's the best way to simply skip the rows that might cause duplicates and just continue on to the other rows? Shapes of planets? Is there a way to turn off an external Apple Cinema Display remotely and continue to use the computer? Here's the situation: I often access my Mac Pro remotely using Screen Sharing and sometimes TeamViewer. The problem is that when I do this, everything I'm doing can be seen by those near the physical computer. It also uses a considerable amount unnecessary power to have the displays on but not actually being used.  Is there a way to turn them off and not just blank if possible, while still using Screen Sharing or TeamViewer Free? What Lagrangian counterterms might be needed in a $\phi^ 6$ theory in 3D? Do virtual particles actually physically exist? When should I make explicit use of the `this` pointer? Reducibility of polynomials modulo p Normally to remove files with spaces in their filename you would have to run:  $ rm "file name"   but if I want to remove multiple files, e.g.:  $ find . -name "*.txt" | xargs rm   This will not delete files with spaces in them. Multiple File Extension Rename with single command I received some important files via mail. There are about 150 files like these. The extensions of the files are named as zip1,zip2,zip3, zip_ etc. I just want to change the extension of these files back to zip using a single command to avoid the manual task of renaming each file. Can a bird, previously at earth potential, get electrocuted by landing on a powerline at high-enough voltage due to the initial "equalization charge"? At the voltage levels of typical overhead transmission lines in the US, a bird can land on one and be just fine (as long as it doesn't do something like spread its wings and touch a tree or something else at lower electric potential).  However, what about a hypothetical powerline at much higher voltage (as in tens of megavolts). Could landing on such a powerline fatally-shock the bird even though it does not complete a circuit for sustained current? (Assume that the distance is long enough that electrical arc'ing is impossible.)  NOTE: My understanding of what happens when a bird flies from an earth object to a powerline (please correct me if I'm wrong) is that - upon contacting the wire - its electric potential changes from earth-potential to the powerline's potential. In order for this to happen, there is an initial transfer of electrical energy (i.e. flow of charge i.e. current) from the powerline to the bird which "equalizes" their electric potential, which happens nearly instantaneously. If this is correct, then my question can be restated more generally as "Can an 'equalization charge' such as this result in a fatal shock, if the potential difference that it's equalizing is high enough?" Can a JavaScript object have a prototype chain, but also be a function? function a () {     return "foo"; }  a.b = function () {     return "bar"; }  function c () { }; c.prototype = a;  var d = new c(); d.b(); // returns "bar" d(); // throws exception, d is not a function   Is there some way for d to be a function, and yet still inherit properties from a? Suppose $n$ is an even positive integer and $H$ is a subgroup of $\mathbb Z/n \mathbb Z$. Prove that either every element of $H$ is...